Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... (Lecture Notes in Computer Science, 12549)
by Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, ... (Lecture Notes in Computer Science, 12549)
by Maria Christakis,Nadia Polikarpova,Parasara Sridhar Duggirala,Peter Schrammel
ISBN 13: 9783030636173
Format: Paperback
(265 pages)
Publisher: Springer
Published: 06 Dec 2020
Save for later
New : $54.86
FREE UK DELIVERY 
Global shipping from £2.99
FREE UK DELIVERY
30 Day Refund Guarantee
